This book constitutes the proceedings of the2nd ACIS International Conference on Software Engineering – Research, Management ...
Lire la suiteThe 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suiteThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suiteThis book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
Lire la suiteThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suiteTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suiteComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
Lire la suiteComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design ...
Lire la suiteCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...
Lire la suiteThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
Lire la suiteThis book includes different issues related with: process and engineering of model transformations; model transformations ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suite